Eigenvalues of a compact self-adjoint operator